diff (differential) - German English Dictionary